predicate e calculus谓词演算
higher order predicate calculus较高阶述词演算;翻译
unary predicate calculus单述词演算;翻译;单谓词演算英语;单谓词演算
predicate calculus logic述词演算逻辑
connective in predicate calculus[计] 谓词演算中的连接词
predicate m-calculus谓词m演算
wffs of predicate calculus谓词演算公式
second predicate calculus第二阶述词演算
monadic predicate calculus一元谓词运算;一元逻辑;一元谓词逻辑
N（名词） the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individuals 谓词演算; 不仅可以分析到简单命题，还可以分析到其中的个体、量词和谓词的数理逻辑形式系统 (Also called functional calculus) → see also propositional calculus